Circular Coinduction in Coq Using Bisimulation-Up-To Techniques
Jörg Endrullis, Dimitri Hendriks, and Martin Bodin
In: Proc. Conf. on Interactive Theorem Proving (ITP 2013), pp. 354–369, Springer (2013)
paper
Bibtex
@inproceedings{circular:coinduction:2013,
author = {Endrullis, J\"{o}rg and Hendriks, Dimitri and Bodin, Martin},
title = {{Circular Coinduction in Coq Using Bisimulation-Up-To Techniques}},
booktitle = {Proc.\ Conf.\ on Interactive Theorem Proving (ITP~2013)},
volume = {7998},
pages = {354--369},
publisher = {Springer},
series = {LNCS},
year = {2013},
doi = {10.1007/978-3-642-39634-2\_26},
keywords = {rewriting, coinduction, formal verification},
type = {conference}
}